Mathematical constructivism - PDFSEARCH.IO - Document Search Engine

Mathematical constructivism
Results: 119

#	Item
81	Free Heyting algebras: revisited N. Bezhanishvili1⋆ 1 Add to Reading List Source URL: www.phil.uu.nl Language: English - Date: 2013-01-22 10:09:34 Mathematical logic Algebraic structures Mathematical constructivism Order theory Boolean algebra Heyting algebra Distributive lattice Lattice Intuitionistic logic Mathematics Abstract algebra Lattice theory
82	WHAT’S DEFINITE? WHAT’S NOT? Solomon Feferman Harvey Friedman Conference Add to Reading List Source URL: math.stanford.edu Language: English - Date: 2009-08-05 17:46:19 Formal languages Logic in computer science Intuitionism Mathematical constructivism Interpretation Intuitionistic logic Function Peano axioms Constructible universe Logic Mathematical logic Mathematics
83	Book Reviews Ernest, Paul: Add to Reading List Source URL: www.emis.de Language: English - Date: 2000-05-24 07:08:55 Science Epistemology Constructivism Mathematical logic Reality Mathematics Social constructivism Intuitionism Social constructionism Philosophy Philosophy of mathematics Knowledge
84	A Unified Approach to Algebraic Set Theory Benno van den Berg Add to Reading List Source URL: www.staff.science.uu.nl Language: English - Date: 2011-03-21 06:42:22 Model theory Mathematical constructivism Constructive set theory Intuitionism Topos First-order logic Interpretation Sheaf Zermelo–Fraenkel set theory Mathematical logic Logic Mathematics
85	Final year project Bertus: Implementing Observational Equality Add to Reading List Source URL: www.doc.ic.ac.uk Language: English - Date: 2013-09-05 05:05:27 Type theory Logic in computer science Dependently typed programming Lambda calculus Mathematical constructivism Intuitionistic type theory Proof assistant Dependent type Coq Mathematics Logic Theoretical computer science
86	From Constructive Mathematics to Computable Analysis via the Realizability Interpretation Add to Reading List Source URL: tuprints.ulb.tu-darmstadt.de Language: English - Date: 2011-04-18 10:20:46 Knowledge Mathematical constructivism Realizability Constructivism
87	The Realizability Approach to Computable Analysis and Topology Andrej Bauer Add to Reading List Source URL: andrej.com Language: English - Date: 2010-06-11 17:18:33 Mathematical constructivism Logic in computer science Algebraic structures Realizability Categorical logic Function Intuitionistic logic Combinatory logic First-order logic Mathematical logic Mathematics Logic
88	Constructivism Is Difficult Eric Schechter In a recent issue of this M ONTHLY, Fred Richman [8] discussed existence proofs. Add to Reading List Source URL: www.math.vanderbilt.edu Language: English - Date: 2006-08-02 09:45:32 Mathematical logic Epistemology Intuitionism Philosophy of mathematics Constructivism Constructive proof Mathematical proof Constructive analysis Axiom of choice Mathematics Logic Mathematical constructivism
89	100 years of Zermelo’s axiom of choice: what was the problem with it? Per Martin-Löf Add to Reading List Source URL: www.math.kth.se Language: English - Date: 2006-02-08 12:22:57 Set theory Constructive set theory Intuitionism Mathematical constructivism Axiom of choice Zermelo–Fraenkel set theory Constructivism Axiom Function Mathematical logic Mathematics Logic
90	MATH MATTERS Department of Mathematics • Cornell University • Ithaca NY Add to Reading List Source URL: www.math.cornell.edu Language: English - Date: 2006-08-21 15:21:44 Proof theory Epistemology Mathematical constructivism Non-classical logic Philosophical logic Sequent Rick Durrett Intuitionism Modal logic Logic Mathematical logic Mathematics

UPDATE